BioAmbients: an abstraction for biological compartments
نویسندگان
چکیده
منابع مشابه
BioAmbients: an abstraction for biological compartments
Biomolecular systems, composed of networks of proteins, underlie the major functions of living cells. Compartments are key to the organization of such systems. We have previously developed an abstraction for biomolecular systems using the πcalculus process algebra, which successfully handled their molecular and biochemical aspects, but provided only a limited solution for representing compartme...
متن کاملStatic Analysis for Biological Systems (BioAmbients)
In this paper, I present a summary on some works that utilized static analysis techniques for understanding biological systems. Control flow analysis, context dependent analysis, and other techniques were employed to investigate the properties of BioAmbients. In this summary report, I tried to introduce the ideas and explain the techniques used in the subject papers. This summary will highlight...
متن کاملA Stochastic Semantics for BioAmbients
We consider BioAmbients, a calculus for specifying biological entities and for simulating and analysing their behaviour. We extend BioAmbients to take quantitative information into account by defining a stochastic semantics, based on a simulation stochastic algorithm, to determine the actual rate of transitions.
متن کاملTypes for BioAmbients
The BioAmbients calculus is a process algebra suitable for representing compartmentalization, molecular localization and movements between compartments. In this paper we enrich this calculus with a static type system classifying each ambient with group types specifying the kind of compartments in which the ambient can stay. The type system ensures that, in a well-typed process, ambients cannot ...
متن کاملAn abstraction theory for qualitative models of biological systems
Multi-valued network models are an important qualitative modelling approach used widely by the biological community. In this paper we consider developing an abstraction theory for multi-valued network models that allows the state space of a model to be reduced while preserving key properties of the model. This is important as it aids the analysis and comparison of multi-valued networks and in p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2004
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2004.03.061